#ifndef AUX_IDMANAGER_H
#define AUX_IDMANAGER_H

#include "config.h"
#include <string.h>

#include "xIPC.h"
#include "aux_types.h"
#include "aux_errno.h"
#include "aux_debugmsg.h"

EErrNo xIPCComponentIdManagerInit(void);

EErrNo xIPCComponentIdManagerDeinit(void);

EErrNo xIPCIdManagerGetId(u32 *pnId);

#endif

